モナドとKleisli TripleとMonad型クラス
#圏論とプログラミング
モナド
と
Kleisli Triple
と
Monad型クラス
Kleisli Tripleとモナドの対応
Kleisli TripleとMonadの対応
クライスリ圏とMonadの対応
参考
HeskellのMonadを圏論のMonad/Kleisli Tripleと対比する - めもめも
後半は未読
mrsekut.icon
『圏論の道案内』
p.247-
https://www.slideshare.net/yoshihiromizoguchi/haskell-14848553
https://qiita.com/mandel59/items/8f9111143aea94e7b363
https://mizunashi-mana.github.io/blog/posts/2019/06/graded-monad-and-effects/
https://ja.wikipedia.org/wiki/クライスリ圏
普通にこれ読んだらわかりそう
http://www.ipsj.or.jp/07editj/promenade/4703.pdf
後半
https://dspace.jaist.ac.jp/dspace/bitstream/10119/908/3/1184paper.pdf
http://cympfh.cc/aiura/power-monad.html
https://bartoszmilewski.com/2014/12/23/kleisli-categories/
https://bartoszmilewski.com/2016/11/21/monads-programmers-definition/
https://bartoszmilewski.com/2016/11/30/monads-and-effects/
https://bartoszmilewski.com/2016/12/27/monads-categorically/
https://bartoszmilewski.com/2017/03/14/algebras-for-monads/
https://bartoszmilewski.com/2017/09/06/monads-monoids-and-categories/
https://cympfh.cc/aiura/power-monad.html